Všeobecné monitorovacie systémy: Dosiahnutie pozorovateľnosti prostredníctvom bezpečnosti typov | MLOG | MLOG